Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐Ÿ”งRISC-V Assembler
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ŠStatic Analysis
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โœ…Format Verification
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท5h
๐Ÿ›ก๏ธeBPF Security
Flag this post
Nim 2.2.6
nim-lang.orgยท5hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท11hยท
๐Ÿ”„Sync Engine
Flag this post
Vectorizing for Fun and Performance
ibm.comยท2dยท
Discuss: Hacker News
โšกSIMD Vectorization
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ”’Type Safety
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท1dยท
๐Ÿฆ€Rust Borrowing
Flag this post
Fil-C: A memory-safe C implementation
lwn.netยท2dยท
Discuss: Hacker News
๐Ÿง Separation Logic
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ’งLiquid Types
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
OpenSMTPD 7.8.0p0
bsdsec.netยท9h
๐ŸกOpenBSD
Flag this post
Rdza โ€“ Rust Programming, in Polish
github.comยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.comยท2dยท
Discuss: Hacker News
โœจEffect Handlers
Flag this post